Functional languages

Results: 3400



#Item
351Functional languages / Object-oriented programming languages / Order theory / Scala / Embedding / Monad / OCaml

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Scala-Virtualized: Linguistic Reuse for Deep Embeddings Tiark Rompf · Nada Amin · Adriaan Moors · Philipp Haller · Martin Odersky

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2013-09-27 08:16:30
352Computing / Software engineering / Computer programming / Parallel computing / Concurrent programming languages / Functional languages / Apache Software Foundation / Cluster computing / Apache Spark / Apache Flink / Scala / Monad

Emma in Action: Declarative Dataflows for Scalable Data Analysis Alexander Alexandrov Andreas Salzmann Georgi Krastev Asterios Katsifodimos

Add to Reading List

Source URL: stratosphere.eu

Language: English - Date: 2016-05-27 12:05:58
353Software engineering / Computer programming / Computing / Functional languages / Functional programming / Object-oriented programming languages / Scripting languages / Type theory / Haskell / Cabal / Monad / Type class

Hoogle Overview by Neil Mitchell This article gives an overview of the Hoogle tool. We describe the history of Hoogle, the improvements that have been made this summer, and plans for future feature

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
354Software engineering / Theoretical computer science / Computing / Logic in computer science / Formal methods / Programming language semantics / Control flow / Eval / Functional languages / Operational semantics / Robert Bruce Findler / Racket

Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT

Add to Reading List

Source URL: www.eecs.northwestern.edu

Language: English - Date: 2010-10-18 00:06:19
355Functional programming / Monad / Functional languages / Make / Haskell / Include directive

Shake ‘n’ Bake Neil Mitchell https://github.com/ndmitchell/{shake,bake} Build ‘n’ Integrate In Haskell

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
356Software engineering / Computer programming / Computing / Functional languages / Higher-order functions / Programming language comparisons / Concurrent programming languages / Object-oriented programming languages / Monad / Set-builder notation / Scala / Haskell

Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Lauritz Thamsen Andreas Kunft Odej Kao

Add to Reading List

Source URL: stratosphere.eu

Language: English - Date: 2016-05-27 12:05:58
357Software engineering / Computing / Computer programming / Object-oriented programming languages / Scripting languages / Functional languages / Reference / Annotation / Writing / Portable Document Format / Tutorial / Python

Codepourri: Creating Visual Coding Tutorials Using A Volunteer Crowd Of Learners Mitchell Gordon and Philip J. Guo Department of Computer Science University of Rochester Rochester, NY 14627

Add to Reading List

Source URL: www.pgbovine.net

Language: English - Date: 2015-09-04 14:09:57
358Software engineering / Computing / Computer programming / Object-oriented programming languages / Array programming languages / Data types / Functional languages / Method / Array data type / Multiple dispatch / Scala / Type system

Array Operators Using Multiple Dispatch Array Operators Using Multiple Dispatch A design methodology for array implementations in dynamic languages Jeff Bezanson

Add to Reading List

Source URL: karpinski.org

Language: English - Date: 2016-04-13 16:19:52
359Compiler construction / Functional programming / Compilers / Programming language implementation / Functional languages / Glasgow Haskell Compiler / Haskell / C-- / LLVM / Simon Marlow / Simon Peyton Jones / Intermediate representation

Krzysztof Woś Low-level code optimisations in the Glasgow Haskell Compiler .

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2012-12-14 11:06:00
360Software engineering / Computer programming / Declarative programming / Functional programming / Higher-order functions / Programming language comparisons / Concurrent programming languages / Functional languages / Curry / Fold / Monad / Constraint

c ACM, 2008. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Add to Reading List

Source URL: ndmitchell.com

Language: English - Date: 2016-04-19 09:56:22
UPDATE